Reversible, irreversible and optimal λ-machines
نویسندگان
چکیده
منابع مشابه
Reversible, Irreversible and Optimal -machines
There are two quite diierent possibilities for implementing linear head reduction in-calculus. Two ways which we are going to explain brieey here in the introduction and in details in the body of the paper. The paper itself is concerned with showing an unexpectedly simple relation between these two ways, which we term reversible and irreversible, namely that the latter may be obtained as a natu...
متن کاملReversible , Irreversible and Optimal - machinesVincent
There are two quite diierent possibilities for implementing linear head reduction in-calculus. Two ways which we are going to explain brieey here in the introduction and in details in the body of the paper. The paper itself is concerned with showing an unexpectedly simple relation between these two ways, which we term reversible and irreversible, namely that the latter may be obtained as a natu...
متن کاملReversible versus Irreversible Machines: Experimental Results
The Geometry of Interaction semantics introduced by Girard provides a new way of understanding the reduction process in the-calculus where the computation steps are linear and reversible. Moreover, this can be trivially implemented to give a simple compilation technique: the Geometry of Interaction Machine. At the cost of introducing global operations (irreversible copying and discarding) Danos...
متن کاملFrom Reversible to Irreversible Computations
In this paper we study the relation between reversible and irreversible computation applicable to different models of computation — here we are considering classical and quantum computation. We develop an equational theory of reversible computations and an associated theory of irreversible computations which is obtained by marking some inputs as preinitialised heap and some outputs as garbage t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1999
ISSN: 0304-3975
DOI: 10.1016/s0304-3975(99)00049-3